The Monadic Second-Order Logic of Graphs V: On Closing the Gap Between Definability and Recognizability
نویسنده
چکیده
Courcelle, B., The monadic second-order logic of graphs V: on closing the gap between definability and recognizability, Theoretical Computer Science 80 (1991) 153-202. Context-free graph-grammars are considered such that, in every generated graph (3, a derivation tree of G can be constructed by means of monadic second-order formulas that specify its nodes, its labels, the successors of a node etc. A subset of the set of graphs generated by such a grammar is recognizable iff it is definable in monadic second-order logic, whereas, in general, only the "'if" direction holds.
منابع مشابه
Recognizability Equals Definability for Graphs of Bounded Treewidth and Bounded Chordality
The technique of translating between monadic second-order logic (MSOL) formulae and equivalent automata has a long history. An early result is a theorem of Büchi from 1960 [2] showing that the languages accepted by finite automata are exactly the MSOL-definable sets of strings. Viewed as a result on families of graphs this can be seen as establishing that recognizability equals definability for...
متن کاملGraph structure and Monadic second-order logic
Exclusion of minor, vertex-minor, induced subgraph Tree-structuring Monadic second-order logic : expression of properties, queries, optimization functions, number of configurations. Mainly useful for tree-structured graphs (Second-order logic useless) Tools to be presented Algebraic setting for tree-structuring of graphs Recognizability = finite congruence ≡ inductive computability ≡ finite det...
متن کاملOn the Logical Definability of Certain Graph and Poset Languages
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and to be recognizable in an algebraic framework induced by the notion of modular decomposition of a finite graph. More precisely, we consider the set F∞ of composition operations on graphs which occur in the modular decomp...
متن کاملRegular Languages of Words over Countable Linear Orderings
We develop an algebraic model for recognizing languages of words indexed by countable linear orderings. This notion of recognizability is effectively equivalent to definability in monadic second-order (MSO) logic. The proofs also imply the first known collapse result for MSO logic over countable linear orderings.
متن کاملRecognizability Equals Monadic Second-Order Definability for Sets of Graphs of Bounded Tree-Width
We prove that for each k, there exists a MSO-transduction that associates with every graph of tree-width at most k one of its tree-decompositions of width at most k. Courcelle proves in (The Monadic second-order logic of graphs, I: Recognizable sets of nite graphs) that every set of graphs is recognizable if it is deenable in Counting Monadic Second-Order logic. It follows that every set of gra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 80 شماره
صفحات -
تاریخ انتشار 1991